systematic proof method
un. 系统证明法
热门查询
- matins n. 晨祷 现通常在黎明朗诵赞美歌
- redmond n. 雷德蒙（姓氏）；雷德蒙德（美国华盛顿州城市，微软总部）
- rootsy 维持特定传统的；保持原有风格的
- muzak n. （酒吧、饭店等）录音助兴音乐
- Claridge [人名] [英格兰人姓氏] 克拉里奇来源于中世纪英语、古法语女子名及拉丁语，含义是“著名的，光明的”(famous,bright); [人名] [英格兰人姓氏] 克拉里奇住所名称，第二个成分来源于古英语，含义是“树篱”(hedge); [地名] [美国] 克拉里奇
- astrophotography n. 天体摄影术
- Frome n. 弗罗姆（姓氏, 英国地名）
- Bizet n. 比才（法国作曲家）；间奏曲
- Trajan 图拉真(Marcus Ulpius Trajanus, 52?-117, 罗马皇帝, 在位期间 98-117)
- producing n. 生产；制片 v. 生产；制造（produce的ing形式）；出示 adj. 生产的
- observance n. 惯例；遵守；仪式；庆祝
- liz n. 莉兹；莉斯（女子名）
- ambassador n. 大使；代表；使节
- hav abbr. haversine 半正失，工字梁H形梁
- scarring n. 瘢痕形成 v. 结疤；给…留下伤痕（scar的ing形式）
- co-ordination n. 协调；配合
- dimming n. 调光；变暗 v. 变暗（dim的现在分词）
- Corea n. 韩国
- Selznick 塞尔兹尼克(人名)
- incompatible n. 互不相容的人或事物 adj. 不相容的；矛盾的；不能同时成立的
